陶哲轩使用o3 mini一手测评来了：好坏参半
陶哲轩发帖说，最近他在研究图论中的一个“专家级”定理——“三角形移除引理”。这定理有点复杂，咱们普通人听着可能头大。为了搞清楚这个定理的证明，现有三种方法：
陶哲轩
博士offer一夜变废纸！陶哲轩抗议LeCun，川普新政搞崩学术圈
特朗普和马斯克，已成全美学术界的公敌。NIH宣布削减科研经费以来，全美掀起反对潮，陶哲轩已发起抗议联名信，LeCun预言大批科学家将离职，建议欧洲抄底诺奖人才。宾大被迫撤销发出的研究生offer，10份通知书一夜作废。初入学界的「青椒」更是异常焦虑！
陶哲轩｜数学不仅仅是严谨和证明
每个主要银河文明的历史往往会经历三个不同且可识别的阶段，即生存、探索和精致阶段，也称为“如何”、“为什么”和“在哪里”阶段。例如，第一个阶段的特征是问题“我们如何进食？”，第二个阶段的特征是问题“我们为什么进食？”，而第三个阶段的特征是问题“我们在哪里吃午饭？
自曝被拒稿是常事，如何看陶哲轩主动“降神”
“对我而言，被拒稿也是常见的事，平均每年发生一两次。”陶哲轩在这篇帖子中写道。让他意外的是，当他偶尔向学生和同事提及此事，“他们有时会惊讶于我的被拒稿率远非0”。
有记载以来智商最高的人：31岁时荣获菲尔兹奖的著名华人数学家
陶哲轩（Terence Tao）是当代世界著名的华裔数学家之一，被誉为“数学的神童”和“现代数学的奇才”。他在多个数学领域取得了杰出的成就，尤其在解析数论、调和分析、偏微分方程、算子代数等领域有着重要贡献。陶哲轩的广泛兴趣和跨领域的研究使他成为数学界的一个传奇
【羽翼课堂教育早报】2025.01.08
二、【深度观察】1、@高校毕业生 这份就业服务汇总请收好https://edu.cctv.com/2025/01/07/ARTItQ1XDjkLLIQHGF4KVKM1250107.shtml2、巨亏22亿，中文在线海外「爆火」，又一场虚假神话？https:/
陶哲轩：做数学一定要是天才吗？
“我承认，我自己的数学学习经历确实有些异于常人。然而，这篇文章并不是基于我个人的教育经历而写，我是基于几十年来与他人（本科生、研究生、博士、博士后、我的合作者和同事，听我讲座和演讲的听众，阅读我的论文、书籍和博客文章的读者，甚至我的孩子们和他们的同学，一些记者
陶哲轩自述被拒稿是常事，「大牛名字」不是通行证！
著名数学家、菲尔兹奖得主陶哲轩在个人社交网站上分享了自己被拒稿的经历，出发点是有人曾表示「陶哲轩被拒稿」很不可思议，但其实自己每年都会被拒稿。
【羽翼课堂教育早报】2025.01.03
二、【深度观察】1、湖南出台职业技能培训补贴办法https://edu.cctv.com/2025/01/02/ARTIrU1xZjMndVHhwPd1ck4o250102.shtml2、被 AI 分掉精力的数学天才陶哲轩，论文被拒了https://36kr.
陶哲轩：顶级数学家是如何炼成的？学习数学的痛点与突破全解读
"我承认，我自己的数学学习经历确实有些异于常人。然而，这篇文章并不是基于我个人的教育经历而写，我是基于几十年来与他人（本科生、研究生、博士、博士后、我的合作者和同事，听我讲座和演讲的听众，阅读我的论文、书籍和博客文章的读者，甚至我的孩子们和他们的同学，一些记者
Meta、斯坦福等：AI的下一个前沿，正是陶哲轩说的形式化数学推理
对 AI 研究者来说，数学既是一类难题，也是一个标杆，能够成为衡量 AI 技术的发展重要尺度。近段时间，随着 AI 推理能力的提升，使用 AI 来证明数学问题已经成为一个重要的研究探索方向。著名数学家陶哲轩就是这一方向的推动者，他曾表示：未来数学家可以通过向类
o3曝智商高达157，比肩爱因斯坦碾压99%人类！陶哲轩水平AI或出现
OpenAI o3的智商，竟然已经高达157，碾压99%的人类？这张OpenAI模型智商图全网疯转。甚至有人大胆预测：达到陶哲轩智商（225-230）的大模型，应该会很快出现了。
陶哲轩：不要过早痴迷于某一个“大问题”或“大理论”
想在数学领域有所建树，需要付出艰辛的努力。如果你不喜欢自己所做的事，就不能从自己的工作中获得满足感，也就很难持续投入成功所需的巨大精力。
最难数学基准测试是什么？
最难的数学基准测试是“FrontierMATH”。这一测试由顶尖数学家陶哲轩联合60多位数学家推出，包含数百道原创且极具挑战性的数学问题，涵盖了从奥林匹克数学竞赛（IMO）水平到现代数学研究前沿的各个领域，如数论、群论和代数几何等。这些题目通常需要专业数学家花
数学天才陶哲轩的伯乐
2015年9月17日，美国加州大学洛杉矶分校的数学家陶哲轩（Terence Tao）宣布破解埃尔德什猜想（the Erdős Discrepancy Problem），整个数学界为之兴奋。
o3来了！编程跻身人类全球前200，破解陶哲轩说难的数学测试，北大校友任泓宇现身直播间
原创 关注前沿科技 量子位梦晨 西风 发自 凹非寺量子位 | 公众号 QbitAIOpenAI公布下一代模型，o1之后直接o3！“双12”直播活动最后一天，终于来了个大的，奥特曼本人也再次现身直播间。
OpenAI o3震撼觉醒，AGI今夜降临？血洗o1，破解陶哲轩最难数学题
OpenAI下一代模型——o3，重磅诞生了！陶哲轩预言难住AI好几年的数学测试，它瞬间破解，编程水平位于全球前200，在ARC-AGI基准中更是惊人，打破所有AI纪录接近人类水平，离AGI更近一步。
o3来了！编程能力跻身人类全球前200，破解陶哲轩说难的数学测试
o3相比o1最突出的成绩，一是顶尖程序员竞赛CodeForces分数超过2700，人类超过这个分数的目前只有不到200个。
很快OpenAI能证明陶哲轩错了？陶哲轩一句话，被OpenAI高管怼回去
o1推理代表着推理的未来。菲尔兹奖得主陶哲轩在OpenAI最新访谈中表示，AI可以帮助从头开始重新设计数学，以前所未有的规模处理数学问题，引领着一个全新的发现时代。
陶哲轩对谈OpenAI高管，“也许很快OpenAI就能证明陶哲轩是错的”
事情是这样的。数学大佬陶哲轩和OpenAI两位高管最近进行了一场线上对谈，主题为“The Future of Math with o1 Reasoning”，即以推理为主的o1模型如何与数学融合，从而解锁突破性的科学进步。